// Copyright 2015, VIXL authors
// All rights reserved.
//
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are met:
//
//   * Redistributions of source code must retain the above copyright notice,
//     this list of conditions and the following disclaimer.
//   * Redistributions in binary form must reproduce the above copyright notice,
//     this list of conditions and the following disclaimer in the documentation
//     and/or other materials provided with the distribution.
//   * Neither the name of ARM Limited nor the names of its contributors may be
//     used to endorse or promote products derived from this software without
//     specific prior written permission.
//
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND
// ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
// WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
// DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
// FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
// DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
// SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
// CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
// OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.


// ---------------------------------------------------------------------
// This file is auto generated using tools/generate_simulator_traces.py.
//
// PLEASE DO NOT EDIT.
// ---------------------------------------------------------------------

#ifndef VIXL_SIM_USRA_2S_2OPIMM_TRACE_AARCH64_H_
#define VIXL_SIM_USRA_2S_2OPIMM_TRACE_AARCH64_H_

const uint32_t kExpected_NEON_usra_2S_2OPIMM[] = {
  0x7ffffffe, 0x7fffffff,
  0xbffffffd, 0xbffffffe,
  0xdffffffc, 0xdffffffd,
  0xeffffffb, 0xeffffffc,
  0xf7fffffa, 0xf7fffffb,
  0xfbfffff9, 0xfbfffffa,
  0xfdfffff8, 0xfdfffff9,
  0xfefffff7, 0xfefffff8,
  0xff7ffff6, 0xff7ffff7,
  0xffbffff5, 0xffbffff6,
  0xffdffff4, 0xffdffff5,
  0xffeffff3, 0xffeffff4,
  0xfff7fff2, 0xfff7fff3,
  0xfffbfff1, 0xfffbfff2,
  0xfffdfff0, 0xfffdfff1,
  0xfffeffef, 0xfffefff0,
  0xffff7fee, 0xffff7fef,
  0xffffbfed, 0xffffbfee,
  0xffffdfec, 0xffffdfed,
  0xffffefeb, 0xffffefec,
  0xfffff7ea, 0xfffff7eb,
  0xfffffbe9, 0xfffffbea,
  0xfffffde8, 0xfffffde9,
  0xfffffee7, 0xfffffee8,
  0xffffff66, 0xffffff67,
  0xffffffa5, 0xffffffa6,
  0xffffffc4, 0xffffffc5,
  0xffffffd3, 0xffffffd4,
  0xffffffda, 0xffffffdb,
  0xffffffdd, 0xffffffde,
  0xffffffde, 0xffffffdf,
  0xffffffde, 0xffffffdf,
  0x7fffffff, 0x7fffffff,
  0xbffffffe, 0xbffffffe,
  0xdffffffd, 0xdffffffd,
  0xeffffffc, 0xeffffffc,
  0xf7fffffb, 0xf7fffffb,
  0xfbfffffa, 0xfbfffffa,
  0xfdfffff9, 0xfdfffff9,
  0xfefffff8, 0xfefffff8,
  0xff7ffff7, 0xff7ffff7,
  0xffbffff6, 0xffbffff6,
  0xffdffff5, 0xffdffff5,
  0xffeffff4, 0xffeffff4,
  0xfff7fff3, 0xfff7fff3,
  0xfffbfff2, 0xfffbfff2,
  0xfffdfff1, 0xfffdfff1,
  0xfffefff0, 0xfffefff0,
  0xffff7fef, 0xffff7fef,
  0xffffbfee, 0xffffbfee,
  0xffffdfed, 0xffffdfed,
  0xffffefec, 0xffffefec,
  0xfffff7eb, 0xfffff7eb,
  0xfffffbea, 0xfffffbea,
  0xfffffde9, 0xfffffde9,
  0xfffffee8, 0xfffffee8,
  0xffffff67, 0xffffff67,
  0xffffffa6, 0xffffffa6,
  0xffffffc5, 0xffffffc5,
  0xffffffd4, 0xffffffd4,
  0xffffffdb, 0xffffffdb,
  0xffffffde, 0xffffffde,
  0xffffffdf, 0xffffffdf,
  0xffffffdf, 0xffffffdf,
  0x7fffffff, 0x00000000,
  0xbffffffe, 0x00000000,
  0xdffffffd, 0x00000000,
  0xeffffffc, 0x00000000,
  0xf7fffffb, 0x00000000,
  0xfbfffffa, 0x00000000,
  0xfdfffff9, 0x00000000,
  0xfefffff8, 0x00000000,
  0xff7ffff7, 0x00000000,
  0xffbffff6, 0x00000000,
  0xffdffff5, 0x00000000,
  0xffeffff4, 0x00000000,
  0xfff7fff3, 0x00000000,
  0xfffbfff2, 0x00000000,
  0xfffdfff1, 0x00000000,
  0xfffefff0, 0x00000000,
  0xffff7fef, 0x00000000,
  0xffffbfee, 0x00000000,
  0xffffdfed, 0x00000000,
  0xffffefec, 0x00000000,
  0xfffff7eb, 0x00000000,
  0xfffffbea, 0x00000000,
  0xfffffde9, 0x00000000,
  0xfffffee8, 0x00000000,
  0xffffff67, 0x00000000,
  0xffffffa6, 0x00000000,
  0xffffffc5, 0x00000000,
  0xffffffd4, 0x00000000,
  0xffffffdb, 0x00000000,
  0xffffffde, 0x00000000,
  0xffffffdf, 0x00000000,
  0xffffffdf, 0x00000000,
  0x00000000, 0x00000000,
  0x00000000, 0x00000000,
  0x00000000, 0x00000000,
  0x00000000, 0x00000000,
  0x00000000, 0x00000000,
  0x00000000, 0x00000000,
  0x00000000, 0x00000000,
  0x00000000, 0x00000000,
  0x00000000, 0x00000000,
  0x00000000, 0x00000000,
  0x00000000, 0x00000000,
  0x00000000, 0x00000000,
  0x00000000, 0x00000000,
  0x00000000, 0x00000000,
  0x00000000, 0x00000000,
  0x00000000, 0x00000000,
  0x00000000, 0x00000000,
  0x00000000, 0x00000000,
  0x00000000, 0x00000000,
  0x00000000, 0x00000000,
  0x00000000, 0x00000000,
  0x00000000, 0x00000000,
  0x00000000, 0x00000000,
  0x00000000, 0x00000000,
  0x00000000, 0x00000000,
  0x00000000, 0x00000000,
  0x00000000, 0x00000000,
  0x00000000, 0x00000000,
  0x00000000, 0x00000000,
  0x00000000, 0x00000000,
  0x00000000, 0x00000000,
  0x00000000, 0x00000000,
  0x00000000, 0x00000001,
  0x00000000, 0x00000001,
  0x00000000, 0x00000001,
  0x00000000, 0x00000001,
  0x00000000, 0x00000001,
  0x00000000, 0x00000001,
  0x00000000, 0x00000001,
  0x00000000, 0x00000001,
  0x00000000, 0x00000001,
  0x00000000, 0x00000001,
  0x00000000, 0x00000001,
  0x00000000, 0x00000001,
  0x00000000, 0x00000001,
  0x00000000, 0x00000001,
  0x00000000, 0x00000001,
  0x00000000, 0x00000001,
  0x00000000, 0x00000001,
  0x00000000, 0x00000001,
  0x00000000, 0x00000001,
  0x00000000, 0x00000001,
  0x00000000, 0x00000001,
  0x00000000, 0x00000001,
  0x00000000, 0x00000001,
  0x00000000, 0x00000001,
  0x00000000, 0x00000001,
  0x00000000, 0x00000001,
  0x00000000, 0x00000001,
  0x00000000, 0x00000001,
  0x00000000, 0x00000001,
  0x00000000, 0x00000001,
  0x00000000, 0x00000001,
  0x00000000, 0x00000001,
  0x00000001, 0x00000010,
  0x00000001, 0x00000018,
  0x00000001, 0x0000001c,
  0x00000001, 0x0000001e,
  0x00000001, 0x0000001f,
  0x00000001, 0x0000001f,
  0x00000001, 0x0000001f,
  0x00000001, 0x0000001f,
  0x00000001, 0x0000001f,
  0x00000001, 0x0000001f,
  0x00000001, 0x0000001f,
  0x00000001, 0x0000001f,
  0x00000001, 0x0000001f,
  0x00000001, 0x0000001f,
  0x00000001, 0x0000001f,
  0x00000001, 0x0000001f,
  0x00000001, 0x0000001f,
  0x00000001, 0x0000001f,
  0x00000001, 0x0000001f,
  0x00000001, 0x0000001f,
  0x00000001, 0x0000001f,
  0x00000001, 0x0000001f,
  0x00000001, 0x0000001f,
  0x00000001, 0x0000001f,
  0x00000001, 0x0000001f,
  0x00000001, 0x0000001f,
  0x00000001, 0x0000001f,
  0x00000001, 0x0000001f,
  0x00000001, 0x0000001f,
  0x00000001, 0x0000001f,
  0x00000001, 0x0000001f,
  0x00000001, 0x0000001f,
  0x00000010, 0x0000003e,
  0x00000018, 0x0000005d,
  0x0000001c, 0x0000006c,
  0x0000001e, 0x00000073,
  0x0000001f, 0x00000076,
  0x0000001f, 0x00000077,
  0x0000001f, 0x00000077,
  0x0000001f, 0x00000077,
  0x0000001f, 0x00000077,
  0x0000001f, 0x00000077,
  0x0000001f, 0x00000077,
  0x0000001f, 0x00000077,
  0x0000001f, 0x00000077,
  0x0000001f, 0x00000077,
  0x0000001f, 0x00000077,
  0x0000001f, 0x00000077,
  0x0000001f, 0x00000077,
  0x0000001f, 0x00000077,
  0x0000001f, 0x00000077,
  0x0000001f, 0x00000077,
  0x0000001f, 0x00000077,
  0x0000001f, 0x00000077,
  0x0000001f, 0x00000077,
  0x0000001f, 0x00000077,
  0x0000001f, 0x00000077,
  0x0000001f, 0x00000077,
  0x0000001f, 0x00000077,
  0x0000001f, 0x00000077,
  0x0000001f, 0x00000077,
  0x0000001f, 0x00000077,
  0x0000001f, 0x00000077,
  0x0000001f, 0x00000077,
  0x0000003e, 0x0000003f,
  0x0000005d, 0x0000005e,
  0x0000006c, 0x0000006d,
  0x00000073, 0x00000074,
  0x00000076, 0x00000077,
  0x00000077, 0x00000078,
  0x00000077, 0x00000078,
  0x00000077, 0x00000078,
  0x00000077, 0x00000078,
  0x00000077, 0x00000078,
  0x00000077, 0x00000078,
  0x00000077, 0x00000078,
  0x00000077, 0x00000078,
  0x00000077, 0x00000078,
  0x00000077, 0x00000078,
  0x00000077, 0x00000078,
  0x00000077, 0x00000078,
  0x00000077, 0x00000078,
  0x00000077, 0x00000078,
  0x00000077, 0x00000078,
  0x00000077, 0x00000078,
  0x00000077, 0x00000078,
  0x00000077, 0x00000078,
  0x00000077, 0x00000078,
  0x00000077, 0x00000078,
  0x00000077, 0x00000078,
  0x00000077, 0x00000078,
  0x00000077, 0x00000078,
  0x00000077, 0x00000078,
  0x00000077, 0x00000078,
  0x00000077, 0x00000078,
  0x00000077, 0x00000078,
  0x0000003f, 0x0000003f,
  0x0000005e, 0x0000005e,
  0x0000006d, 0x0000006d,
  0x00000074, 0x00000074,
  0x00000077, 0x00000077,
  0x00000078, 0x00000078,
  0x00000078, 0x00000078,
  0x00000078, 0x00000078,
  0x00000078, 0x00000078,
  0x00000078, 0x00000078,
  0x00000078, 0x00000078,
  0x00000078, 0x00000078,
  0x00000078, 0x00000078,
  0x00000078, 0x00000078,
  0x00000078, 0x00000078,
  0x00000078, 0x00000078,
  0x00000078, 0x00000078,
  0x00000078, 0x00000078,
  0x00000078, 0x00000078,
  0x00000078, 0x00000078,
  0x00000078, 0x00000078,
  0x00000078, 0x00000078,
  0x00000078, 0x00000078,
  0x00000078, 0x00000078,
  0x00000078, 0x00000078,
  0x00000078, 0x00000078,
  0x00000078, 0x00000078,
  0x00000078, 0x00000078,
  0x00000078, 0x00000078,
  0x00000078, 0x00000078,
  0x00000078, 0x00000078,
  0x00000078, 0x00000078,
  0x0000003f, 0x00003ffe,
  0x0000005e, 0x00005ffd,
  0x0000006d, 0x00006ffc,
  0x00000074, 0x000077fb,
  0x00000077, 0x00007bfa,
  0x00000078, 0x00007df9,
  0x00000078, 0x00007ef8,
  0x00000078, 0x00007f77,
  0x00000078, 0x00007fb6,
  0x00000078, 0x00007fd5,
  0x00000078, 0x00007fe4,
  0x00000078, 0x00007feb,
  0x00000078, 0x00007fee,
  0x00000078, 0x00007fef,
  0x00000078, 0x00007fef,
  0x00000078, 0x00007fef,
  0x00000078, 0x00007fef,
  0x00000078, 0x00007fef,
  0x00000078, 0x00007fef,
  0x00000078, 0x00007fef,
  0x00000078, 0x00007fef,
  0x00000078, 0x00007fef,
  0x00000078, 0x00007fef,
  0x00000078, 0x00007fef,
  0x00000078, 0x00007fef,
  0x00000078, 0x00007fef,
  0x00000078, 0x00007fef,
  0x00000078, 0x00007fef,
  0x00000078, 0x00007fef,
  0x00000078, 0x00007fef,
  0x00000078, 0x00007fef,
  0x00000078, 0x00007fef,
  0x00003ffe, 0x00003fff,
  0x00005ffd, 0x00005ffe,
  0x00006ffc, 0x00006ffd,
  0x000077fb, 0x000077fc,
  0x00007bfa, 0x00007bfb,
  0x00007df9, 0x00007dfa,
  0x00007ef8, 0x00007ef9,
  0x00007f77, 0x00007f78,
  0x00007fb6, 0x00007fb7,
  0x00007fd5, 0x00007fd6,
  0x00007fe4, 0x00007fe5,
  0x00007feb, 0x00007fec,
  0x00007fee, 0x00007fef,
  0x00007fef, 0x00007ff0,
  0x00007fef, 0x00007ff0,
  0x00007fef, 0x00007ff0,
  0x00007fef, 0x00007ff0,
  0x00007fef, 0x00007ff0,
  0x00007fef, 0x00007ff0,
  0x00007fef, 0x00007ff0,
  0x00007fef, 0x00007ff0,
  0x00007fef, 0x00007ff0,
  0x00007fef, 0x00007ff0,
  0x00007fef, 0x00007ff0,
  0x00007fef, 0x00007ff0,
  0x00007fef, 0x00007ff0,
  0x00007fef, 0x00007ff0,
  0x00007fef, 0x00007ff0,
  0x00007fef, 0x00007ff0,
  0x00007fef, 0x00007ff0,
  0x00007fef, 0x00007ff0,
  0x00007fef, 0x00007ff0,
  0x00003fff, 0x00003fff,
  0x00005ffe, 0x00005ffe,
  0x00006ffd, 0x00006ffd,
  0x000077fc, 0x000077fc,
  0x00007bfb, 0x00007bfb,
  0x00007dfa, 0x00007dfa,
  0x00007ef9, 0x00007ef9,
  0x00007f78, 0x00007f78,
  0x00007fb7, 0x00007fb7,
  0x00007fd6, 0x00007fd6,
  0x00007fe5, 0x00007fe5,
  0x00007fec, 0x00007fec,
  0x00007fef, 0x00007fef,
  0x00007ff0, 0x00007ff0,
  0x00007ff0, 0x00007ff0,
  0x00007ff0, 0x00007ff0,
  0x00007ff0, 0x00007ff0,
  0x00007ff0, 0x00007ff0,
  0x00007ff0, 0x00007ff0,
  0x00007ff0, 0x00007ff0,
  0x00007ff0, 0x00007ff0,
  0x00007ff0, 0x00007ff0,
  0x00007ff0, 0x00007ff0,
  0x00007ff0, 0x00007ff0,
  0x00007ff0, 0x00007ff0,
  0x00007ff0, 0x00007ff0,
  0x00007ff0, 0x00007ff0,
  0x00007ff0, 0x00007ff0,
  0x00007ff0, 0x00007ff0,
  0x00007ff0, 0x00007ff0,
  0x00007ff0, 0x00007ff0,
  0x00007ff0, 0x00007ff0,
  0x00003fff, 0x19999999,
  0x00005ffe, 0x26666665,
  0x00006ffd, 0x2ccccccb,
  0x000077fc, 0x2ffffffe,
  0x00007bfb, 0x31999997,
  0x00007dfa, 0x32666663,
  0x00007ef9, 0x32ccccc9,
  0x00007f78, 0x32fffffc,
  0x00007fb7, 0x33199995,
  0x00007fd6, 0x33266661,
  0x00007fe5, 0x332cccc7,
  0x00007fec, 0x332ffffa,
  0x00007fef, 0x33319993,
  0x00007ff0, 0x3332665f,
  0x00007ff0, 0x3332ccc5,
  0x00007ff0, 0x3332fff8,
  0x00007ff0, 0x33331991,
  0x00007ff0, 0x3333265d,
  0x00007ff0, 0x33332cc3,
  0x00007ff0, 0x33332ff6,
  0x00007ff0, 0x3333318f,
  0x00007ff0, 0x3333325b,
  0x00007ff0, 0x333332c1,
  0x00007ff0, 0x333332f4,
  0x00007ff0, 0x3333330d,
  0x00007ff0, 0x33333319,
  0x00007ff0, 0x3333331f,
  0x00007ff0, 0x33333322,
  0x00007ff0, 0x33333323,
  0x00007ff0, 0x33333323,
  0x00007ff0, 0x33333323,
  0x00007ff0, 0x33333323,
  0x19999999, 0x2aaaaaaa,
  0x26666665, 0x3fffffff,
  0x2ccccccb, 0x4aaaaaa9,
  0x2ffffffe, 0x4ffffffe,
  0x31999997, 0x52aaaaa8,
  0x32666663, 0x53fffffd,
  0x32ccccc9, 0x54aaaaa7,
  0x32fffffc, 0x54fffffc,
  0x33199995, 0x552aaaa6,
  0x33266661, 0x553ffffb,
  0x332cccc7, 0x554aaaa5,
  0x332ffffa, 0x554ffffa,
  0x33319993, 0x5552aaa4,
  0x3332665f, 0x5553fff9,
  0x3332ccc5, 0x5554aaa3,
  0x3332fff8, 0x5554fff8,
  0x33331991, 0x55552aa2,
  0x3333265d, 0x55553ff7,
  0x33332cc3, 0x55554aa1,
  0x33332ff6, 0x55554ff6,
  0x3333318f, 0x555552a0,
  0x3333325b, 0x555553f5,
  0x333332c1, 0x5555549f,
  0x333332f4, 0x555554f4,
  0x3333330d, 0x5555551e,
  0x33333319, 0x55555533,
  0x3333331f, 0x5555553d,
  0x33333322, 0x55555542,
  0x33333323, 0x55555544,
  0x33333323, 0x55555545,
  0x33333323, 0x55555545,
  0x33333323, 0x55555545,
  0x2aaaaaaa, 0x3ffffffe,
  0x3fffffff, 0x5ffffffd,
  0x4aaaaaa9, 0x6ffffffc,
  0x4ffffffe, 0x77fffffb,
  0x52aaaaa8, 0x7bfffffa,
  0x53fffffd, 0x7dfffff9,
  0x54aaaaa7, 0x7efffff8,
  0x54fffffc, 0x7f7ffff7,
  0x552aaaa6, 0x7fbffff6,
  0x553ffffb, 0x7fdffff5,
  0x554aaaa5, 0x7feffff4,
  0x554ffffa, 0x7ff7fff3,
  0x5552aaa4, 0x7ffbfff2,
  0x5553fff9, 0x7ffdfff1,
  0x5554aaa3, 0x7ffefff0,
  0x5554fff8, 0x7fff7fef,
  0x55552aa2, 0x7fffbfee,
  0x55553ff7, 0x7fffdfed,
  0x55554aa1, 0x7fffefec,
  0x55554ff6, 0x7ffff7eb,
  0x555552a0, 0x7ffffbea,
  0x555553f5, 0x7ffffde9,
  0x5555549f, 0x7ffffee8,
  0x555554f4, 0x7fffff67,
  0x5555551e, 0x7fffffa6,
  0x55555533, 0x7fffffc5,
  0x5555553d, 0x7fffffd4,
  0x55555542, 0x7fffffdb,
  0x55555544, 0x7fffffde,
  0x55555545, 0x7fffffdf,
  0x55555545, 0x7fffffdf,
  0x55555545, 0x7fffffdf,
  0x3ffffffe, 0x3fffffff,
  0x5ffffffd, 0x5ffffffe,
  0x6ffffffc, 0x6ffffffd,
  0x77fffffb, 0x77fffffc,
  0x7bfffffa, 0x7bfffffb,
  0x7dfffff9, 0x7dfffffa,
  0x7efffff8, 0x7efffff9,
  0x7f7ffff7, 0x7f7ffff8,
  0x7fbffff6, 0x7fbffff7,
  0x7fdffff5, 0x7fdffff6,
  0x7feffff4, 0x7feffff5,
  0x7ff7fff3, 0x7ff7fff4,
  0x7ffbfff2, 0x7ffbfff3,
  0x7ffdfff1, 0x7ffdfff2,
  0x7ffefff0, 0x7ffefff1,
  0x7fff7fef, 0x7fff7ff0,
  0x7fffbfee, 0x7fffbfef,
  0x7fffdfed, 0x7fffdfee,
  0x7fffefec, 0x7fffefed,
  0x7ffff7eb, 0x7ffff7ec,
  0x7ffffbea, 0x7ffffbeb,
  0x7ffffde9, 0x7ffffdea,
  0x7ffffee8, 0x7ffffee9,
  0x7fffff67, 0x7fffff68,
  0x7fffffa6, 0x7fffffa7,
  0x7fffffc5, 0x7fffffc6,
  0x7fffffd4, 0x7fffffd5,
  0x7fffffdb, 0x7fffffdc,
  0x7fffffde, 0x7fffffdf,
  0x7fffffdf, 0x7fffffe0,
  0x7fffffdf, 0x7fffffe0,
  0x7fffffdf, 0x7fffffe0,
  0x3fffffff, 0x3fffffff,
  0x5ffffffe, 0x5ffffffe,
  0x6ffffffd, 0x6ffffffd,
  0x77fffffc, 0x77fffffc,
  0x7bfffffb, 0x7bfffffb,
  0x7dfffffa, 0x7dfffffa,
  0x7efffff9, 0x7efffff9,
  0x7f7ffff8, 0x7f7ffff8,
  0x7fbffff7, 0x7fbffff7,
  0x7fdffff6, 0x7fdffff6,
  0x7feffff5, 0x7feffff5,
  0x7ff7fff4, 0x7ff7fff4,
  0x7ffbfff3, 0x7ffbfff3,
  0x7ffdfff2, 0x7ffdfff2,
  0x7ffefff1, 0x7ffefff1,
  0x7fff7ff0, 0x7fff7ff0,
  0x7fffbfef, 0x7fffbfef,
  0x7fffdfee, 0x7fffdfee,
  0x7fffefed, 0x7fffefed,
  0x7ffff7ec, 0x7ffff7ec,
  0x7ffffbeb, 0x7ffffbeb,
  0x7ffffdea, 0x7ffffdea,
  0x7ffffee9, 0x7ffffee9,
  0x7fffff68, 0x7fffff68,
  0x7fffffa7, 0x7fffffa7,
  0x7fffffc6, 0x7fffffc6,
  0x7fffffd5, 0x7fffffd5,
  0x7fffffdc, 0x7fffffdc,
  0x7fffffdf, 0x7fffffdf,
  0x7fffffe0, 0x7fffffe0,
  0x7fffffe0, 0x7fffffe0,
  0x7fffffe0, 0x7fffffe0,
  0x3fffffff, 0x40000000,
  0x5ffffffe, 0x60000000,
  0x6ffffffd, 0x70000000,
  0x77fffffc, 0x78000000,
  0x7bfffffb, 0x7c000000,
  0x7dfffffa, 0x7e000000,
  0x7efffff9, 0x7f000000,
  0x7f7ffff8, 0x7f800000,
  0x7fbffff7, 0x7fc00000,
  0x7fdffff6, 0x7fe00000,
  0x7feffff5, 0x7ff00000,
  0x7ff7fff4, 0x7ff80000,
  0x7ffbfff3, 0x7ffc0000,
  0x7ffdfff2, 0x7ffe0000,
  0x7ffefff1, 0x7fff0000,
  0x7fff7ff0, 0x7fff8000,
  0x7fffbfef, 0x7fffc000,
  0x7fffdfee, 0x7fffe000,
  0x7fffefed, 0x7ffff000,
  0x7ffff7ec, 0x7ffff800,
  0x7ffffbeb, 0x7ffffc00,
  0x7ffffdea, 0x7ffffe00,
  0x7ffffee9, 0x7fffff00,
  0x7fffff68, 0x7fffff80,
  0x7fffffa7, 0x7fffffc0,
  0x7fffffc6, 0x7fffffe0,
  0x7fffffd5, 0x7ffffff0,
  0x7fffffdc, 0x7ffffff8,
  0x7fffffdf, 0x7ffffffc,
  0x7fffffe0, 0x7ffffffe,
  0x7fffffe0, 0x7fffffff,
  0x7fffffe0, 0x7fffffff,
  0x40000000, 0x40000000,
  0x60000000, 0x60000000,
  0x70000000, 0x70000000,
  0x78000000, 0x78000000,
  0x7c000000, 0x7c000000,
  0x7e000000, 0x7e000000,
  0x7f000000, 0x7f000000,
  0x7f800000, 0x7f800000,
  0x7fc00000, 0x7fc00000,
  0x7fe00000, 0x7fe00000,
  0x7ff00000, 0x7ff00000,
  0x7ff80000, 0x7ff80000,
  0x7ffc0000, 0x7ffc0000,
  0x7ffe0000, 0x7ffe0000,
  0x7fff0000, 0x7fff0000,
  0x7fff8000, 0x7fff8000,
  0x7fffc000, 0x7fffc000,
  0x7fffe000, 0x7fffe000,
  0x7ffff000, 0x7ffff000,
  0x7ffff800, 0x7ffff800,
  0x7ffffc00, 0x7ffffc00,
  0x7ffffe00, 0x7ffffe00,
  0x7fffff00, 0x7fffff00,
  0x7fffff80, 0x7fffff80,
  0x7fffffc0, 0x7fffffc0,
  0x7fffffe0, 0x7fffffe0,
  0x7ffffff0, 0x7ffffff0,
  0x7ffffff8, 0x7ffffff8,
  0x7ffffffc, 0x7ffffffc,
  0x7ffffffe, 0x7ffffffe,
  0x7fffffff, 0x7fffffff,
  0x7fffffff, 0x7fffffff,
  0x40000000, 0x55555555,
  0x60000000, 0x7fffffff,
  0x70000000, 0x95555554,
  0x78000000, 0x9ffffffe,
  0x7c000000, 0xa5555553,
  0x7e000000, 0xa7fffffd,
  0x7f000000, 0xa9555552,
  0x7f800000, 0xa9fffffc,
  0x7fc00000, 0xaa555551,
  0x7fe00000, 0xaa7ffffb,
  0x7ff00000, 0xaa955550,
  0x7ff80000, 0xaa9ffffa,
  0x7ffc0000, 0xaaa5554f,
  0x7ffe0000, 0xaaa7fff9,
  0x7fff0000, 0xaaa9554e,
  0x7fff8000, 0xaaa9fff8,
  0x7fffc000, 0xaaaa554d,
  0x7fffe000, 0xaaaa7ff7,
  0x7ffff000, 0xaaaa954c,
  0x7ffff800, 0xaaaa9ff6,
  0x7ffffc00, 0xaaaaa54b,
  0x7ffffe00, 0xaaaaa7f5,
  0x7fffff00, 0xaaaaa94a,
  0x7fffff80, 0xaaaaa9f4,
  0x7fffffc0, 0xaaaaaa49,
  0x7fffffe0, 0xaaaaaa73,
  0x7ffffff0, 0xaaaaaa88,
  0x7ffffff8, 0xaaaaaa92,
  0x7ffffffc, 0xaaaaaa97,
  0x7ffffffe, 0xaaaaaa99,
  0x7fffffff, 0xaaaaaa9a,
  0x7fffffff, 0xaaaaaa9a,
  0x55555555, 0x66666666,
  0x7fffffff, 0x99999999,
  0x95555554, 0xb3333332,
  0x9ffffffe, 0xbffffffe,
  0xa5555553, 0xc6666664,
  0xa7fffffd, 0xc9999997,
  0xa9555552, 0xcb333330,
  0xa9fffffc, 0xcbfffffc,
  0xaa555551, 0xcc666662,
  0xaa7ffffb, 0xcc999995,
  0xaa955550, 0xccb3332e,
  0xaa9ffffa, 0xccbffffa,
  0xaaa5554f, 0xccc66660,
  0xaaa7fff9, 0xccc99993,
  0xaaa9554e, 0xcccb332c,
  0xaaa9fff8, 0xcccbfff8,
  0xaaaa554d, 0xcccc665e,
  0xaaaa7ff7, 0xcccc9991,
  0xaaaa954c, 0xccccb32a,
  0xaaaa9ff6, 0xccccbff6,
  0xaaaaa54b, 0xccccc65c,
  0xaaaaa7f5, 0xccccc98f,
  0xaaaaa94a, 0xcccccb28,
  0xaaaaa9f4, 0xcccccbf4,
  0xaaaaaa49, 0xcccccc5a,
  0xaaaaaa73, 0xcccccc8d,
  0xaaaaaa88, 0xcccccca6,
  0xaaaaaa92, 0xccccccb2,
  0xaaaaaa97, 0xccccccb8,
  0xaaaaaa99, 0xccccccbb,
  0xaaaaaa9a, 0xccccccbc,
  0xaaaaaa9a, 0xccccccbc,
  0x66666666, 0x7fffc000,
  0x99999999, 0xbfffa000,
  0xb3333332, 0xdfff9000,
  0xbffffffe, 0xefff8800,
  0xc6666664, 0xf7ff8400,
  0xc9999997, 0xfbff8200,
  0xcb333330, 0xfdff8100,
  0xcbfffffc, 0xfeff8080,
  0xcc666662, 0xff7f8040,
  0xcc999995, 0xffbf8020,
  0xccb3332e, 0xffdf8010,
  0xccbffffa, 0xffef8008,
  0xccc66660, 0xfff78004,
  0xccc99993, 0xfffb8002,
  0xcccb332c, 0xfffd8001,
  0xcccbfff8, 0xfffe8000,
  0xcccc665e, 0xfffeffff,
  0xcccc9991, 0xffff3ffe,
  0xccccb32a, 0xffff5ffd,
  0xccccbff6, 0xffff6ffc,
  0xccccc65c, 0xffff77fb,
  0xccccc98f, 0xffff7bfa,
  0xcccccb28, 0xffff7df9,
  0xcccccbf4, 0xffff7ef8,
  0xcccccc5a, 0xffff7f77,
  0xcccccc8d, 0xffff7fb6,
  0xcccccca6, 0xffff7fd5,
  0xccccccb2, 0xffff7fe4,
  0xccccccb8, 0xffff7feb,
  0xccccccbb, 0xffff7fee,
  0xccccccbc, 0xffff7fef,
  0xccccccbc, 0xffff7fef,
  0x7fffc000, 0x7fffc000,
  0xbfffa000, 0xbfffa000,
  0xdfff9000, 0xdfff9000,
  0xefff8800, 0xefff8800,
  0xf7ff8400, 0xf7ff8400,
  0xfbff8200, 0xfbff8200,
  0xfdff8100, 0xfdff8100,
  0xfeff8080, 0xfeff8080,
  0xff7f8040, 0xff7f8040,
  0xffbf8020, 0xffbf8020,
  0xffdf8010, 0xffdf8010,
  0xffef8008, 0xffef8008,
  0xfff78004, 0xfff78004,
  0xfffb8002, 0xfffb8002,
  0xfffd8001, 0xfffd8001,
  0xfffe8000, 0xfffe8000,
  0xfffeffff, 0xfffeffff,
  0xffff3ffe, 0xffff3ffe,
  0xffff5ffd, 0xffff5ffd,
  0xffff6ffc, 0xffff6ffc,
  0xffff77fb, 0xffff77fb,
  0xffff7bfa, 0xffff7bfa,
  0xffff7df9, 0xffff7df9,
  0xffff7ef8, 0xffff7ef8,
  0xffff7f77, 0xffff7f77,
  0xffff7fb6, 0xffff7fb6,
  0xffff7fd5, 0xffff7fd5,
  0xffff7fe4, 0xffff7fe4,
  0xffff7feb, 0xffff7feb,
  0xffff7fee, 0xffff7fee,
  0xffff7fef, 0xffff7fef,
  0xffff7fef, 0xffff7fef,
  0x7fffc000, 0x7fffc001,
  0xbfffa000, 0xbfffa001,
  0xdfff9000, 0xdfff9001,
  0xefff8800, 0xefff8801,
  0xf7ff8400, 0xf7ff8401,
  0xfbff8200, 0xfbff8201,
  0xfdff8100, 0xfdff8101,
  0xfeff8080, 0xfeff8081,
  0xff7f8040, 0xff7f8041,
  0xffbf8020, 0xffbf8021,
  0xffdf8010, 0xffdf8011,
  0xffef8008, 0xffef8009,
  0xfff78004, 0xfff78005,
  0xfffb8002, 0xfffb8003,
  0xfffd8001, 0xfffd8002,
  0xfffe8000, 0xfffe8001,
  0xfffeffff, 0xffff0000,
  0xffff3ffe, 0xffff3fff,
  0xffff5ffd, 0xffff5ffe,
  0xffff6ffc, 0xffff6ffd,
  0xffff77fb, 0xffff77fc,
  0xffff7bfa, 0xffff7bfb,
  0xffff7df9, 0xffff7dfa,
  0xffff7ef8, 0xffff7ef9,
  0xffff7f77, 0xffff7f78,
  0xffff7fb6, 0xffff7fb7,
  0xffff7fd5, 0xffff7fd6,
  0xffff7fe4, 0xffff7fe5,
  0xffff7feb, 0xffff7fec,
  0xffff7fee, 0xffff7fef,
  0xffff7fef, 0xffff7ff0,
  0xffff7fef, 0xffff7ff0,
  0x7fffc001, 0x7fffc001,
  0xbfffa001, 0xbfffa001,
  0xdfff9001, 0xdfff9001,
  0xefff8801, 0xefff8801,
  0xf7ff8401, 0xf7ff8401,
  0xfbff8201, 0xfbff8201,
  0xfdff8101, 0xfdff8101,
  0xfeff8081, 0xfeff8081,
  0xff7f8041, 0xff7f8041,
  0xffbf8021, 0xffbf8021,
  0xffdf8011, 0xffdf8011,
  0xffef8009, 0xffef8009,
  0xfff78005, 0xfff78005,
  0xfffb8003, 0xfffb8003,
  0xfffd8002, 0xfffd8002,
  0xfffe8001, 0xfffe8001,
  0xffff0000, 0xffff0000,
  0xffff3fff, 0xffff3fff,
  0xffff5ffe, 0xffff5ffe,
  0xffff6ffd, 0xffff6ffd,
  0xffff77fc, 0xffff77fc,
  0xffff7bfb, 0xffff7bfb,
  0xffff7dfa, 0xffff7dfa,
  0xffff7ef9, 0xffff7ef9,
  0xffff7f78, 0xffff7f78,
  0xffff7fb7, 0xffff7fb7,
  0xffff7fd6, 0xffff7fd6,
  0xffff7fe5, 0xffff7fe5,
  0xffff7fec, 0xffff7fec,
  0xffff7fef, 0xffff7fef,
  0xffff7ff0, 0xffff7ff0,
  0xffff7ff0, 0xffff7ff0,
  0x7fffc001, 0x7fffffc0,
  0xbfffa001, 0xbfffffa0,
  0xdfff9001, 0xdfffff90,
  0xefff8801, 0xefffff88,
  0xf7ff8401, 0xf7ffff84,
  0xfbff8201, 0xfbffff82,
  0xfdff8101, 0xfdffff81,
  0xfeff8081, 0xfeffff80,
  0xff7f8041, 0xff7fff7f,
  0xffbf8021, 0xffbfff7e,
  0xffdf8011, 0xffdfff7d,
  0xffef8009, 0xffefff7c,
  0xfff78005, 0xfff7ff7b,
  0xfffb8003, 0xfffbff7a,
  0xfffd8002, 0xfffdff79,
  0xfffe8001, 0xfffeff78,
  0xffff0000, 0xffff7f77,
  0xffff3fff, 0xffffbf76,
  0xffff5ffe, 0xffffdf75,
  0xffff6ffd, 0xffffef74,
  0xffff77fc, 0xfffff773,
  0xffff7bfb, 0xfffffb72,
  0xffff7dfa, 0xfffffd71,
  0xffff7ef9, 0xfffffe70,
  0xffff7f78, 0xfffffeef,
  0xffff7fb7, 0xffffff2e,
  0xffff7fd6, 0xffffff4d,
  0xffff7fe5, 0xffffff5c,
  0xffff7fec, 0xffffff63,
  0xffff7fef, 0xffffff66,
  0xffff7ff0, 0xffffff67,
  0xffff7ff0, 0xffffff67,
  0x7fffffc0, 0x7fffffc0,
  0xbfffffa0, 0xbfffffa0,
  0xdfffff90, 0xdfffff90,
  0xefffff88, 0xefffff88,
  0xf7ffff84, 0xf7ffff84,
  0xfbffff82, 0xfbffff82,
  0xfdffff81, 0xfdffff81,
  0xfeffff80, 0xfeffff80,
  0xff7fff7f, 0xff7fff7f,
  0xffbfff7e, 0xffbfff7e,
  0xffdfff7d, 0xffdfff7d,
  0xffefff7c, 0xffefff7c,
  0xfff7ff7b, 0xfff7ff7b,
  0xfffbff7a, 0xfffbff7a,
  0xfffdff79, 0xfffdff79,
  0xfffeff78, 0xfffeff78,
  0xffff7f77, 0xffff7f77,
  0xffffbf76, 0xffffbf76,
  0xffffdf75, 0xffffdf75,
  0xffffef74, 0xffffef74,
  0xfffff773, 0xfffff773,
  0xfffffb72, 0xfffffb72,
  0xfffffd71, 0xfffffd71,
  0xfffffe70, 0xfffffe70,
  0xfffffeef, 0xfffffeef,
  0xffffff2e, 0xffffff2e,
  0xffffff4d, 0xffffff4d,
  0xffffff5c, 0xffffff5c,
  0xffffff63, 0xffffff63,
  0xffffff66, 0xffffff66,
  0xffffff67, 0xffffff67,
  0xffffff67, 0xffffff67,
  0x7fffffc0, 0x7fffffc1,
  0xbfffffa0, 0xbfffffa1,
  0xdfffff90, 0xdfffff91,
  0xefffff88, 0xefffff89,
  0xf7ffff84, 0xf7ffff85,
  0xfbffff82, 0xfbffff83,
  0xfdffff81, 0xfdffff82,
  0xfeffff80, 0xfeffff81,
  0xff7fff7f, 0xff7fff80,
  0xffbfff7e, 0xffbfff7f,
  0xffdfff7d, 0xffdfff7e,
  0xffefff7c, 0xffefff7d,
  0xfff7ff7b, 0xfff7ff7c,
  0xfffbff7a, 0xfffbff7b,
  0xfffdff79, 0xfffdff7a,
  0xfffeff78, 0xfffeff79,
  0xffff7f77, 0xffff7f78,
  0xffffbf76, 0xffffbf77,
  0xffffdf75, 0xffffdf76,
  0xffffef74, 0xffffef75,
  0xfffff773, 0xfffff774,
  0xfffffb72, 0xfffffb73,
  0xfffffd71, 0xfffffd72,
  0xfffffe70, 0xfffffe71,
  0xfffffeef, 0xfffffef0,
  0xffffff2e, 0xffffff2f,
  0xffffff4d, 0xffffff4e,
  0xffffff5c, 0xffffff5d,
  0xffffff63, 0xffffff64,
  0xffffff66, 0xffffff67,
  0xffffff67, 0xffffff68,
  0xffffff67, 0xffffff68,
  0x7fffffc1, 0x7fffffc1,
  0xbfffffa1, 0xbfffffa1,
  0xdfffff91, 0xdfffff91,
  0xefffff89, 0xefffff89,
  0xf7ffff85, 0xf7ffff85,
  0xfbffff83, 0xfbffff83,
  0xfdffff82, 0xfdffff82,
  0xfeffff81, 0xfeffff81,
  0xff7fff80, 0xff7fff80,
  0xffbfff7f, 0xffbfff7f,
  0xffdfff7e, 0xffdfff7e,
  0xffefff7d, 0xffefff7d,
  0xfff7ff7c, 0xfff7ff7c,
  0xfffbff7b, 0xfffbff7b,
  0xfffdff7a, 0xfffdff7a,
  0xfffeff79, 0xfffeff79,
  0xffff7f78, 0xffff7f78,
  0xffffbf77, 0xffffbf77,
  0xffffdf76, 0xffffdf76,
  0xffffef75, 0xffffef75,
  0xfffff774, 0xfffff774,
  0xfffffb73, 0xfffffb73,
  0xfffffd72, 0xfffffd72,
  0xfffffe71, 0xfffffe71,
  0xfffffef0, 0xfffffef0,
  0xffffff2f, 0xffffff2f,
  0xffffff4e, 0xffffff4e,
  0xffffff5d, 0xffffff5d,
  0xffffff64, 0xffffff64,
  0xffffff67, 0xffffff67,
  0xffffff68, 0xffffff68,
  0xffffff68, 0xffffff68,
  0x7fffffc1, 0x7ffffff0,
  0xbfffffa1, 0xbfffffe8,
  0xdfffff91, 0xdfffffe4,
  0xefffff89, 0xefffffe2,
  0xf7ffff85, 0xf7ffffe1,
  0xfbffff83, 0xfbffffe0,
  0xfdffff82, 0xfdffffdf,
  0xfeffff81, 0xfeffffde,
  0xff7fff80, 0xff7fffdd,
  0xffbfff7f, 0xffbfffdc,
  0xffdfff7e, 0xffdfffdb,
  0xffefff7d, 0xffefffda,
  0xfff7ff7c, 0xfff7ffd9,
  0xfffbff7b, 0xfffbffd8,
  0xfffdff7a, 0xfffdffd7,
  0xfffeff79, 0xfffeffd6,
  0xffff7f78, 0xffff7fd5,
  0xffffbf77, 0xffffbfd4,
  0xffffdf76, 0xffffdfd3,
  0xffffef75, 0xffffefd2,
  0xfffff774, 0xfffff7d1,
  0xfffffb73, 0xfffffbd0,
  0xfffffd72, 0xfffffdcf,
  0xfffffe71, 0xfffffece,
  0xfffffef0, 0xffffff4d,
  0xffffff2f, 0xffffff8c,
  0xffffff4e, 0xffffffab,
  0xffffff5d, 0xffffffba,
  0xffffff64, 0xffffffc1,
  0xffffff67, 0xffffffc4,
  0xffffff68, 0xffffffc5,
  0xffffff68, 0xffffffc5,
  0x7ffffff0, 0x7ffffffe,
  0xbfffffe8, 0xbffffffd,
  0xdfffffe4, 0xdffffffc,
  0xefffffe2, 0xeffffffb,
  0xf7ffffe1, 0xf7fffffa,
  0xfbffffe0, 0xfbfffff9,
  0xfdffffdf, 0xfdfffff8,
  0xfeffffde, 0xfefffff7,
  0xff7fffdd, 0xff7ffff6,
  0xffbfffdc, 0xffbffff5,
  0xffdfffdb, 0xffdffff4,
  0xffefffda, 0xffeffff3,
  0xfff7ffd9, 0xfff7fff2,
  0xfffbffd8, 0xfffbfff1,
  0xfffdffd7, 0xfffdfff0,
  0xfffeffd6, 0xfffeffef,
  0xffff7fd5, 0xffff7fee,
  0xffffbfd4, 0xffffbfed,
  0xffffdfd3, 0xffffdfec,
  0xffffefd2, 0xffffefeb,
  0xfffff7d1, 0xfffff7ea,
  0xfffffbd0, 0xfffffbe9,
  0xfffffdcf, 0xfffffde8,
  0xfffffece, 0xfffffee7,
  0xffffff4d, 0xffffff66,
  0xffffff8c, 0xffffffa5,
  0xffffffab, 0xffffffc4,
  0xffffffba, 0xffffffd3,
  0xffffffc1, 0xffffffda,
  0xffffffc4, 0xffffffdd,
  0xffffffc5, 0xffffffde,
  0xffffffc5, 0xffffffde,
};
const unsigned kExpectedCount_NEON_usra_2S_2OPIMM = 992;

#endif  // VIXL_SIM_USRA_2S_2OPIMM_TRACE_AARCH64_H_
